signature CODEGEN_MAIN_STRUCTS =
sig
  structure Ir : IR2
  structure Assem : ASSEM
end

signature CODEGEN_MAIN =
sig
  include CODEGEN_MAIN_STRUCTS

  val ir2code : Ir.exdecnode -> unit
  val ir2pprf : Ir.exdecnode -> (Assem.pprf list * Assem.ginf)
  val rebdChs : (Assem.pprf list * Assem.ginf) * File.t -> unit
  val ir2prf : Ir.exdecnode -> unit
end
